Safety Optimization of a Radio-based Railroad Crossing
نویسندگان
چکیده
In this paper we report on the safety analysis of a distributed and decentralized control of a railroad crossing: the radio-based level crossing. In particular we show how mathematical models and minimization techniques may be used to get good quantitative approximations for risk as well as to give advice to the system engineer how to choose free parameters like safety margins etc.
منابع مشابه
Formal Safety Analysis of a Radio-Based Railroad Crossing Using Deductive Cause-Consequence Analysis (DCCA)
In this paper we present the formal safety analysis of a radiobased railroad crossing. We use deductive cause-consequence analysis (DCCA) as analysis method. DCCA is a novel technique to analyze safety of embedded systems with formal methods. It substitutes error-prone informal reasoning by mathematical proofs. DCCA allows to rigorously prove whether a failure on component level is the cause fo...
متن کاملITS Sensor for Railroad Crossing Safety
Japan’s Intelligent Transport Systems (ITS) project for safe and comfortable transpor tation is steadily progressing. To improve safety, information technology (IT) should be applied to most of Japan’s traffic environments. In response, the Fujitsu Group has installed IT equipment into motor vehicles in line with a government policy of using IT to bring transportation systems fully into the 21...
متن کاملRailway Gate Control System at Railroad-Highway Grade Crossing in Korea
Railroad-related accidents are more dangerous than other transportation accidents in terms of severity and death rate etc. Therefore more efforts are necessary for improving safety. In the mean time, Korean national railroad has researched and invested continuously such as intelligent safety equipments and level crossing between railroad and highway for decreasing railroad-related accident and ...
متن کاملApplication of Real-Time DEVS to Analysis of Safety-Critical Embedded Control Systems: Railroad Crossing Control Example
This article presents an application of the Discrete Event System Specification (DEVS) framework to the design and safety analysis of a real-time embedded control system, a railroad crossing control system.The authors employ an extension of the DEVS formalism, real-time DEVS (RT-DEVS), which has a sound semantics for the specification of real-time systems in a hierarchical modular fashion. The ...
متن کاملGenetic Algorithm Based Stochastic Optimization for Preempted Signals at Highway Railroad Grade Crossing Genetic Algorithm-Based Stochastic Optimization for Preempted Signals at Highway Railroad Grade Crossing
................................................................................................................................... 5 INTRODUCTION .......................................................................................................................... 6 LITERATURE REVIEW ..............................................................................................................
متن کامل